Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
841	Add to Reading List Source URL: www.ises.ednet.ns.ca Language: English - Date: 2014-06-12 15:00:25 Number Philosophy of mathematics Mathematics Mereology Predicate logic
842	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu January 6, 2006 Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Predicate logic Formal methods Models of computation Hoare logic Separation logic Monad First-order logic Mathematical logic Mathematics Logic
843	Semantic Intellectual System Development Igor Boyko, Victor Martynov1 Publishing Systems and Solutions Laboratory HP Laboratories Palo Alto HPL[removed]September 10th , 2001* Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2001-10-05 19:23:35 Model theory Formal languages First-order logic TRIZ Well-formed formula Mereology Interpretation Differential equation Logic Mathematical logic Predicate logic
844	Ynot : Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Logic Formal methods Logic in computer science Procedural programming languages Predicate transformer semantics Separation logic Hoare logic Vienna Development Method Forcing Mathematical logic Program logic Theoretical computer science
845	The Z Notation: A Reference Manual Second Edition J. M. Spivey Programming Research Group Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2001-10-02 16:44:20 Formal languages Predicate logic Programming language Mathematical notation First-order logic Z notation Type theory Regular expression EXPRESS Logic Mathematics Mathematical logic
846	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic
847	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Models of computation Lambda calculus Predicate logic Computability theory First-order logic Hoare logic Ordinal number Curry–Howard correspondence Mathematical logic Theoretical computer science Logic
848	Modalized_questions _and_exhaustivity_SALT.doc Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:24 Semantics Model theory Predicate logic Mathematical logic Honoré de Balzac Interpretation Yes and no Question Proposition Logic Linguistics Philosophy of language
849	30 For Michael Potter, ed., Mathematical Knowledge, Oxford University Press 2007 On Quantifying into Predicate Position: Steps towards a New(tralist) Perspective Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2007-05-09 19:53:00 Predicate logic Semantics Philosophy of language First-order logic Universal quantification Second-order logic Truth-value semantics Existential quantification Proposition Logic Mathematical logic Quantification
850	Minimization of Formal Knowledge in Cognitive and Machine Learning Systems: Research Presentation Andrew Gleibman [removed] Abstract. The article describes the current status of our research started from ge Add to Reading List Source URL: www.sampletalk.com Language: English - Date: 2013-09-17 05:33:20 Reasoning Predicate logic Programming paradigms Mathematical logic Cyc Ontology Inference Logic programming First-order logic Logic Science Knowledge

UPDATE